COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.TURN ON "%","{"
C00004 00003	.LAST USED LABEL IS P14:
C00005 ENDMK
C⊗;
.TURN ON "%","{";
.FONT 1 "BAxL30[LSP,JRA]";		<<normal font>>
.FONT 2 "BAsB30";		<<headings>>
.FONT 3 "baxi30";           	<<italics>>
.FONT 4 "SUB";			<<subscripts>>
.FONT 5 "reAd.fnt[lsp,jra]"	<<will be logical symbols>>
.font 6 "beesix"		<<theory and meta mth>>
.font 7 "ngb30"			<<lemmas and theorem names>>
.FONT 8 "SUP";			<<superscripts>>
.font 9 "beesix"		<< interpets>>
.FONT d "NGr30[LSP,JRA]";		<<for prop and pred letters>>
.FONT e "set1i[LSP,JRA]";		<<meta variables>>
.FONT f "mg.fnt[lsp,jra]"	<<for scottery and buggery>>
.FONT G "GRK30"			<<GREEK>>
.				 << scott brackets under ( and ) >>

.comment (continued on next page...
.LAST USED LABEL IS P14:
.;

.SELECT 1;

.MACRO TABIT1(X)⊂ TURN ON "\" NOFILL TABS X;⊃
.MACRO TABIT2(X,Y)⊂TURN ON "\" NOFILL TABS X,Y;⊃
.MACRO TABIT3(X,Y,Z)⊂TURN ON "\" NOFILL TABS X,Y,Z;⊃

.MACRO CENTERIT ⊂TURN ON "←";NOFILL;⊃